The Formalization of Message Sequence Charts
نویسنده
چکیده
We discuss the state of a airs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the de nition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
منابع مشابه
The formalization of Message Sequence
We discuss the state of aaairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the deenition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
متن کاملSyntax Requirements of Message Sequence Charts
A set of syntax requirements of Message Sequence Charts is discussed and formalized. The formalization is syntax-directed and based on functions and predicates.
متن کاملSpeciication of Tools for Message Sequence Charts
The recent formalization of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal de-nition. We use the Asf+Sdf Meta-environment to make a straightforward implementation of tools for transformation, simulation and requirements testing. In this paper we present the complete speciication of the tools.
متن کاملGenerating tools for Message Sequence Charts
The recent formalization of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal deenition. We use the Asf+Sdf Meta-environment to make a straightforward implementation of tools for transformation, simulation and requirements testing.
متن کاملFormal Test Purposes and the Validity of Test Cases
We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer Networks and ISDN Systems
دوره 28 شماره
صفحات -
تاریخ انتشار 1996